CCS without 's with Built{in Service Rendezvous

نویسنده

  • Michael Baldamus
چکیده

1. Abstract We introduce a pure process calculus and a value{passing process calculus in which the discipline of process interaction is not, as usual, the synchronous execution of actions but the service rendezvous (rendezvous). New is the following combination: (1) The rendezvous is a primitive. I.e. every particular rendezvous requires exactly one explicit synchronization between the processes taking part in it, namely at its beginning. In this way the framework to be presented here reeects the situation prevailing in many programming languages where the rendezvous is built{in. Such languages are Ada ((DoD83]), Egger's AP ((Egg91]), and POOL ((Ame87]). (2) There is no operator for sequential composition. As a consequence the value passing calculus can be deened in a way so that it is as integrated as, for example, value{passing CCS. In earlier accounts of the rendezvous to which (1) applies we have the situation that (2) does not. The non{pure formalisms in these frameworks exhibit a division between behaviour expressions and environments. I.e. they are less integrated than the value passing calculus. As notions of behavioural equivalence we propose De Nicola/Hennessy style may{ and must{equivalence. On this basis we can prove that the pure process calculus is an extension of De Nicola and Hennessy's CCS without 's. 2. Introduction For a start let us brieey recall what in principle makes up the rendezvous discipline: Every particular rendezvous is an interaction between a client process (client) and a server process (server). It is initiated by that the two processes synchronize themselves in a request and an ooer for a service to be provided by the server. Just after the synchronization the client is in a wait state. It proceeds as soon as the server has executed the service. The initial synchronization may

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software

Distributed or parallel software with synchronous communication via rendezvous is found in client-server systems and in proposed Open Distributed Systems, in implementation environments such as Ada, V, Remote Procedure Call systems, in Transputer systems, and in speciication techniques such as CSP, CCS and LOTOS. The delays induced by rendezvous can cause serious performance problems, which are...

متن کامل

A framework for distributed content-based web services notification in Grid systems

We describe a content-based distributed notification service for Publish/Subscribe communication that implements theWS-Notification (WSN) standards. The notification service is built on a messaging framework that supports an associative rendezvous messaging mechanism on a structured overlay of peer nodes. The entire system acts as a notification broker, so that notification publishers and subsc...

متن کامل

A Branching Time Semantics for the Ada Rendezvous Mechanism

Bmnching-time semantica bed on domaiw built upon tree structures have been proposed to model concurrent proceases. Howeoer, the re8ulting model8 imposed severe re8triction8 to ensure mondonicity and compohtionality. To address these iaauea, we conrtruct a semantic domain without racr$cing these two propertk8. We ako provide a simpk and faithfid semantics of the Ada rendezvous mechanism.

متن کامل

Cyclostationary signatures for LTE Advanced and beyond

Long Term Evolution (LTE) Advanced is the next generation of the LTE standard, offering peak data rates of up to 1 Gbps using up to 100 MHz of spectrum. A key mechanism in achieving this is carrier aggregation (CA) whereby multiple LTE component carriers (CCs) are combined in a contiguous or non-contiguous fashion. With the introduction of CA comes the challenge of network rendezvous. In order ...

متن کامل

A Probabilistic Approach for Rendezvous Decisions with Uncertain Data

In this paper, the p-Probabilistic Rendezvous algorithm (in short p-PR) is introduced. The main difference between the traditional rendezvous and ours is that the former requires exact location information to calculate the rendezvous. Without this restriction, p-PR is more suitable in applications, where the uncertainty of the locations is commonplace. The main novelty of our approach is that t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007